Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
The INCOSE Italia conference on systems engineering (CIISE 2018)
2018-01-01 Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste
2017-01-01 Alviano, M.
Introducing ASP recipes and ASP Chef
2023-01-01 Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A.
Is your argument still skeptically accepted?
2019-01-01 Alfano, G.; Greco, S.; Parisi, F.
The Italian civil code network analysis
2021-01-01 La Cava, L.; Simeri, A.; Tagarelli, A.
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022
2022-01-01 Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro
A knowledge-based platform for the classification of accounting documents
2019-01-01 Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D.
KR&R approaches for robot manipulation tasks with articulated objects
2018-01-01 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Large Scale DLV: Preliminary Results
2019-01-01 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies
2019-01-01 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
2022-01-01 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
Minipref: A tool for preferences in SAT
2020-01-01 Dodaro, C.; Previti, A.
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System
2021-01-01 Manuel, Borroto; Cuteri, Bernardo; Ricca, Francesco
Multi-sorted inverse frequent itemsets mining for generating realistic no-SQL datasets
2021-01-01 Sacca, D.; Serra, E.; Rullo, A.
Multiple instance learning algorithm for medical image classification
2019-01-01 Astorino, A.; Fuduli, A.; Gaudioso, M.; Vocaturo, E.
A multiple instance learning approach for the automatic classification of skin lesions
2021-01-01 Vocaturo, E.; Zumpano, E.; Giallombardo, G.; Miglionico, G.
Multiple Instance Learning for Diabetic Retinopathy Detection
2023-01-01 Avolio, M.; Fuduli, A.; Vocaturo, E.; Zumpano, E.
On database inconsistency measures
2021-01-01 Parisi, F.; Grant, J.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector | 1-gen-2017 | Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J. | |
| The INCOSE Italia conference on systems engineering (CIISE 2018) | 1-gen-2018 | Mancin, Enrico; Garro, Alfredo; Gaudenzi, Paolo; Tirone, Lucio; Fierro, Davide; Falcone, Alberto | |
| An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
| The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste | 1-gen-2017 | Alviano, M. | |
| Introducing ASP recipes and ASP Chef | 1-gen-2023 | Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A. | |
| Is your argument still skeptically accepted? | 1-gen-2019 | Alfano, G.; Greco, S.; Parisi, F. | |
| The Italian civil code network analysis | 1-gen-2021 | La Cava, L.; Simeri, A.; Tagarelli, A. | |
| Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022 | 1-gen-2022 | Bruno, Pierangela; Calimeri, Francesco; Cauteruccio, Francesco; Maratea, Marco; Terracina, Giorgio; Vallati, Mauro | |
| A knowledge-based platform for the classification of accounting documents | 1-gen-2019 | Amelio, A.; Falcone, A.; Furfaro, A.; Garro, A.; Sacca, D. | |
| KR&R approaches for robot manipulation tasks with articulated objects | 1-gen-2018 | Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M. | |
| Large Scale DLV: Preliminary Results | 1-gen-2019 | Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
| Large-scale reasoning on expressive horn ontologies | 1-gen-2019 | Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
| A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels | 1-gen-2022 | Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E. | |
| Minipref: A tool for preferences in SAT | 1-gen-2020 | Dodaro, C.; Previti, A. | |
| Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System | 1-gen-2021 | Manuel, Borroto; Cuteri, Bernardo; Ricca, Francesco | |
| Multi-sorted inverse frequent itemsets mining for generating realistic no-SQL datasets | 1-gen-2021 | Sacca, D.; Serra, E.; Rullo, A. | |
| Multiple instance learning algorithm for medical image classification | 1-gen-2019 | Astorino, A.; Fuduli, A.; Gaudioso, M.; Vocaturo, E. | |
| A multiple instance learning approach for the automatic classification of skin lesions | 1-gen-2021 | Vocaturo, E.; Zumpano, E.; Giallombardo, G.; Miglionico, G. | |
| Multiple Instance Learning for Diabetic Retinopathy Detection | 1-gen-2023 | Avolio, M.; Fuduli, A.; Vocaturo, E.; Zumpano, E. | |
| On database inconsistency measures | 1-gen-2021 | Parisi, F.; Grant, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile